Ex: Automated reasoning or theorem proving essentially amounts to solving search problems.
Spanish-English dictionary. 2013.
Demostración automática de teoremas — Saltar a navegación, búsqueda Para otros usos de este término, véase Demostración. La demostración automática de teoremas (de siglas ATP, por el término en inglés … Wikipedia Español
Demostración matemática — Saltar a navegación, búsqueda Para otros usos de este término, véase Demostración. Una deducción o demostración matemática es una sucesión coherente de pasos que, tomando como verdadero un conjunto de premisas llamado hipótesis, permite asegurar… … Wikipedia Español
Teoremas de incompletitud de Gödel — Kurt Gödel a los 19 años de edad, cinco años antes de la demostración de los teoremas. Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1930. Ambos están relacionados con la… … Wikipedia Español
Demostración automática — Las técnicas de demostración automática de teoremas consisten en aplicar métodos computacionales para demostrar teoremas. Es decir, demostración de teoremas con un ordenador. Estas técnicas son especialmente viables como herramienta para… … Enciclopedia Universal
Demostración interactiva de teoremas — Saltar a navegación, búsqueda La demostración interactiva de teoremas es un campo de la ciencia computacional y la lógica matemática relativo a las herramientas para desarrollar pruebas formales para la colaboración hombre máquina. Esto involucra … Wikipedia Español
Teoremas fundamentales de la economía del bienestar — Hay dos teoremas fundamentales de la economía del bienestar.[1] [2] El primero afirma que cualquier equilibrio competitivo o walrasiano[3] lleva a una situación de asignación de recursos económicos que es eficiente de acuerdo a Pareto. El segundo … Wikipedia Español
Teoremas de isomorfía — Los teoremas de isomorfía, o más propiamente, teoremas de isomorfía de Noether, son tres resultados importantes de la teoría de grupos. Estos teoremas relacionan a los grupos con sus grupos cociente, y son de gran utilidad para construir… … Wikipedia Español
Demostración matemática — Una sucesión coherente de pasos que, tomando como verdadero un conjunto de premisas llamado hipótesis, permite asegurar la veracidad de una tesis. Estos pasos deben estar fundamentados teóricamente (ya sea por axiomas o por teoremas anteriormente … Enciclopedia Universal
Demostrador de teoremas Isabelle — Saltar a navegación, búsqueda El demostrador interactivo de teoremas Isabelle es una herramienta de ayuda a la demostración de teoremas escrita en el lenguaje de programación ML y desarrollada por Larry Paulson de la Universidad de Cambridge y… … Wikipedia Español
Demostrador de teoremas Isabelle — El demostrador interactivo de teoremas Isabelle es una herramienta, de ayuda a la demostración de teoremas escrita en el lenguaje de programación ML y desarrollada por Larry Paulson de la Universidad de Cambridge y Tobias Nipkow del Technische… … Enciclopedia Universal
ACL2 — es, a la vez, un lenguaje de programación, una lógica matemática para especificar y demostrar formalmente propiedades de los programas escritos en dicho lenguaje, y un demostrador automático de teoremas que asiste al usuario en dicha tarea. ACL2… … Wikipedia Español
